main(){
  a=0;
  a=a+4;
  b=a+3;
  assert(a>1);
  return 0;
}

